bitkeeper revision 1.1628 (429dc9b7MTwsBkscbFS1sK8SbwJhdg)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 1 Jun 2005 14:44:07 +0000 (14:44 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 1 Jun 2005 14:44:07 +0000 (14:44 +0000)
commit03249160f664e35ddef7b71c76617decc5dce789
treee1b5930d3b9d90796712e1bb151028f09585e387
parente18f79780a71d716d2499ae0a9132cbf7273a121
bitkeeper revision 1.1628 (429dc9b7MTwsBkscbFS1sK8SbwJhdg)

Fix domain shutdown so that the new status, and notification to domain0,
occur *after* the domain is fully descheduled and its execution state
synchronised.
Signed-off-by: Keir Fraser <keir@xensource.com>
12 files changed:
tools/gdb/gdb-6.2.1-xen-sparse/gdb/gdbserver/linux-xen-low.c
tools/libxc/xc_domain.c
xen/arch/ia64/xenmisc.c
xen/arch/x86/mm.c
xen/common/dom0_ops.c
xen/common/domain.c
xen/common/schedule.c
xen/include/asm-x86/mm.h
xen/include/public/dom0_ops.h
xen/include/xen/mm.h
xen/include/xen/sched.h
xen/include/xen/softirq.h